minor changes in html