Fix doctests.