modifications to settings.properties