Update sitra.tex