bug fix, redundant definition of t0