fix typo in documentation

just empirically, this seems to have been incorrect; I'm only just getting started, so might be misunderstanding something