Update manual.asciidoc