fix doctest execution