Fix bug in JSON