Removed some bad invariants