update to work with latest html5lib