invariant fixes again...