Fix typo in documentation

Fixes gh-1527