repair some bugs in html