Avoid some doctests.