Make minor changes in index.html