User manual: incorporate spelling/grammar comments from a reviewer.

Incorporate spelling/grammar mistakes identified during
a review of the user guide, done by courtesy of Peter Gulutzan.