JSON-syntax fixes