Minor fixes to index.html