Another modification to index.html