Merge branch 'bug_533_fix_crash_on_satconfig_close'