Small change to ConfigManager.