Various minor text changes to index.html