squashed warning in read_from_socket