Small fixes in html