minor changes in index.html