t0: Fix tests