Klar ein Bearbeitungsfehler; ich war mit allen anderen Änderungen zig Kilometer östlich unterwegs - Entschuldigung, und Danke für die Beobachtung!
Korrektur erfolgte soeben mit
https://www.openstreetmap.org/changeset/154360530