Fix incorrect warning in decr