rbtree header fix