Bug fixed in invariants.