fixes a doctest