Fixed formatting in tcp_output.c