fix highstate output