corrected JSON generated by errors; fixes #1