hot fix - use latest html5lib