fibonacci-heap: fix for #10003