Minor changes to configuration files