Last final fix to doctest