Tweak doctest formatting...