rbtree insertion seems OK