Minor modifications in the config files