Minor semantic tweak to JSON parsing.