Another modification of index.html