Some corrections from proofs