Removed 1 class invariant.