Small change to TCP buffering