Minor changes in JSON parsing code.