bugfix for socket_send_size