bug fix in sge kill