Fixed typos in description.tex