Minor edits in index