Test for failure message in doctest.