fix a doctest failure