Update manual.rst