This fixes #8211.  The help page now reflects the actual program.