Proposed improvement to the HTML parser