More info printed on invariant update