Minor change to index.html