Minor revision to /index.html