Better formulation of doctest.