Correction of simple typos in the documentation. No change in the
actual code.