On proofs instruction to cancel a correction