Fix a problem in html