changes in modules.tex