small fix in ConfigFile