editing of index.html