Some fixes to index.html