Fix typo in documentation.
Merge pull request #809 from marcjansen/patch-2

Fix typo in documentation.