Small typo.
Merge pull request #3867 from snuderl/patch-1

Small typo in the documentation.