Thank you, the map has now been updated in https://www.openstreetmap.org/changeset/163544243 (Please note it may take a few days for the map on openstreetmap.org to update, and longer for other apps/third parties using the map data)