Fix an issue with JSON output formatting