Proof 3.8 fix