Added a class invariant.