Fix a doctest.