Fixed some doctests.