Better names in JSON parser