UTF8 fix in highstate output