Fix documentation typo.
Merge pull request #1722 from schinckel/patch-1

Fix documentation typo.