Made JSON output slightly more correct.