indeed, sorry

anyway, please fix doctests, including this