Editings in index.html