Fixed a few things in the HTML files.