Fixed a bug in the JSON output.