fix small bug in treap