fix typo in doctests