small fix to html library