little fixes in html