Html fixes

Some fixes for minor mistakes in the HTML file.