Proof and minor copy changes