Minor changes in header in html