Fix typo in documentation

Review 749 by @jdoliner