It may be just a genuine mistake - if you look at https://osm.mapki.com/history/relation/3795586 and https://www.openstreetmap.org/changeset/144117245 you can see that I forgot to change the name back there.