Minor improvements to index.html