issue #386: add missing manual section