Update short.tex