Kill instead of terminate (issue #114)