bug fix in kill_tuple