Fix TCP FSM dispatching