Bug fixes for rotate_ and splay. Works well except for remove().