fix bad JSON