[ConfigManager] Fix a duplicated short option.