Minor edits to docs on index.html