(minor) Edit index.html