Proof corrections