skaufman
committed
on 22 Jul 05
internationalization fix for pretty_name