Tiny tweaks before presenting my doctest issue