minor edit to index.html