small fix in html