Update Manual.tex