Some small improvements to index.html