Fix bad JSON in grammar-v1/production.json