small fix in ConfigManager