Minor edits to index