small fixes in html