Minor corrections to index.html