minor changes to index.html