Fix: memory leak in CT-kill()