fix command-line help