fixed %d in invariant call