Update RBTree.h