Copy-editing

Minor copy-editing for the documentation changes in this branch.