Better regexp in JSON parser.