.tex updated accordingly