Corrections about how TCP->IP->Ethernet framing works