Fix bug in TCP packet decoder