Make statistics and timing marks appear properly in json output.