Fixed that last doctest.

(Green build !)