Fix a couple doctests.