fixes in json.js