COMP: Fixed an error in the doctest.