Fix bug in definition of tcp_header_t