christopher: corrections to index.html