Fix doctest again.