fix failed doctest