Minor changes in index.html