Slightly improve command-line help.