FYI I have submitted an edited version of the man page, including the change you suggest, to the upstream maintainer (Steve Cheng <steve@ggi-project.org>).