fix indent in tcp_spec.md