DOC: small edit to the index.html