A bit more precision in a proof in algebra.tex
Fix typo in dualizing.tex