Bugs in JSON interpretation