Fixed some bugs in the HTML file headers