Update manual.tex