repairing some small proofs.