This fixes some problematic behaviour, when the user changed some settings but has still not made a restart.