Fixed a doctest.