Update description.tex