Minor edits to document