Small modifications to index.html