I think you can just merge these two lines into one `ts->printf`.