Fixed tokenizer issue upon reading backslash-backslash in a JSON string
Improved error reporting