fix a bug in html