doc/manual: minor fixes