Fix broken proofs.