Fix rescheduling of jobs in response to machine death