two minor fixes in html