Minor fix in socket_send_all.