Improved readability of a doctest