minor fixes
pairing heaps