This precondition is no longer needed after r78393