minor corrections in index.html