Corrects underflow check