Minor copy-edits.
Minor copy-edits (merge from 'develop')