fix up options display in --help output