Fixed bugs in HTML files