implement latest change to the HTML5 parser