Docs: fix typo.  Fixes #951.