RE: Two typos in a proof