tentative improvements to the writing style of index.html