Fix CauseSpec to work with new kill