Thank you for your quick, helpful reply.  I have deleted the name in https://www.openstreetmap.org/changeset/148241513.

Also, thank you again for improving the map: it's always good to see mistakes fixed.