add more readable, compact stringification of JSON output.