Remove duplicate short option.