Fixed an accidental change to a doctest