add underflow check