Fix documentation typo (issue #793).
[ci:skip]