re-edit of index.html