minor fixes in html