minor improvements to index.html