Fix splay tree code.