Minor edits

Minor edit.