freeze html5lib