Corrected doctest output