new JSON parser, minor bug fixes