invariant fixes..