Run of tidy on index.html

There was a few fixes.