Bugfix: we had a segmentation fault when deallocating copied RMQ nodes.