fixed bug where non-ascii names could not be formatted