Mmh my mistake, in fact it's useful. Calling iterator_to_array on an array does not work.