json: Fix parsing of strings that end with a backslash.