Small fix for tardis update