really fix doctest