manual.adoc: misc fixes.