Bug fixes to JSON parser