fix a doctest