bug fix in html