Formatting the JSON output