minor corrections index.html