Some minor changes to index.html