Clean up highstate formatter