minor TCP protocol spec tweaks