Minor fix in HTML parser