Minor edits.

Minor edits.