That case is checked and handled directly below (as before)