textual corrections to index.html