Removed in #3998