Fortunately this function isn't exported to the public API, so if we decide it's unnecessary, we can just remove it.