few modifications to index.html