index.html: Minor correction