Some minor changes in html