Correcting doctests