HTML parser: fix escaping of double quotes.