Core doctest fix