Correction in decrement logic