Fix a typo in html page.