fix RBTree serialization strategy