diff --git a/src/core/tcp_out.c b/src/core/tcp_out.c
index 7d06f1cd..9bc84442 100644
--- a/src/core/tcp_out.c
+++ b/src/core/tcp_out.c
@@ -864,7 +864,8 @@ tcp_rexmit(struct tcp_pcb *pcb)
 
   /* Do the actual retransmission. */
   snmp_inc_tcpretranssegs();
-  tcp_output(pcb);
+  /* No need to call tcp_output: we are always called from tcp_input()
+     and thus tcp_output directly returns. */
 }