fix syntax highlight in tcp_spec.md