corrected doctests