Minor changes to index.html