fixed typos and a proof in ext powers