Same change, but to src core.