Fix inconsistant command line option name.