Some minor changes in configuration files.