debug output erased to be compliant with the doctest.