Several minor documentation fixes

The documentation generated with `--help` has a number of deficiencies that are fixed in the attached commits.