Update rbtree.h