Trivial fixes for doctests.