fix example in tcp_spec.md