Minor update

Fixed a typo in the short_name() function.