Small addition to index.html