fix doctests