fix splay tree