extra changes in .tex file

parent 95e55aeb