Fixed a bug in the html package