Update module.tex