Small fixes to index.html