Minor edits.
Minor edits