fix some doctests