Thanks, it looks like this is correctly reflected in the map now here https://www.openstreetmap.org/way/837911464 , so I'll mark this note as resolved. Please re-activate the note if you think this is a mistake.