fixed check invariant flag