Fix error in documentation

Fixes #717