Fix typo in documentation
Merge pull request #3432 from thomasbecker/master

Fix typo in documentation