Update queue.ml