Minor edit on index.html