Fix TARDIS deletion