JSON-syntax fixes

Some json-syntax fixes.