Some minor changes in index.html