some minor changes in html