Bugfixes concerning problems of loading saved settings.