minor fixes to index.html