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