extremely minor change to a link in index.html