Correct JSON generation code.