Fix failing doctest.