Minor changes in html