Fixed some doctests