Fix for invariants when sig = 2 mod 4