some minor changes to index.html