Thanks @bruxinneke for the report. This is a complicated situation here.

It should be correct now.
https://www.openstreetmap.org/node/8401880788
https://www.openstreetmap.org/node/6285910518
https://www.openstreetmap.org/node/6285910517

The map takes a few hours before showing the updated situation.