minor changes in Config class