Fix a compile error: tx_timer!