other slight edit to index.html