Fixup doctest formatting