Minor addition to index.html