Fix TARDIS deletion bug