Fix built-in doctest