Fix proofs.