Corrections to integration.tex