ACTUALLY fixing doctests