pretty JSON output.