short_name is supposed to be used for acronyms and other less obvious shortening, essentially is should a name that couldn't just be converted from a list of known shortcodes; so the use of short_name in this commit is incorrect. for more info see https://wiki.openstreetmap.org/wiki/Key:short_name#When_to_use .
I have fixed the error.

happy mapping,
Udar.