Minor changes in configuration-files.