Fix bug in JSON generation