Fixed a couple tiny things.
Minor fixes to HTML