doc: fix typo. Closes #656