Thanks, I’ve made the change in https://www.openstreetmap.org/changeset/139887458. Please take a look and reopen this note if it’s not correct. Or feel free to edit the map yourself to add your local knowledge :)

Note that it may take a day or two for the rendered map to update to reflect the changes.