Tagging fixed according to community consensus (https://www.openstreetmap.org/changeset/129953685) as suggested by this note. Thank you fkv for pointing me to the note and sorry that the outcome is not the one you wanted.