fixed three bugs with splay tree