Some typos in cohomology.tex