Fix typos in the docs (issue #713).
[ci:skip]