Minor tweaks in settings files.