Update docs/manual.rst