fix one doctest