Fix bug in cps_tail_trans