Fixed bug: generation of the file newEnvironments.tex