Really ad-hoc fix for doctests.