Clarification of timer cancel in tcp_bad.