formatting
don't fail if the master tells us that an executor is finished that we don't know about