some meaningless changes in index.html