small change to invariant of pumpController