fixing splay trees