Various tiny tweaks to RBTree, still not working.