Fix TARDIS deletion  bug