correct AVLTree algorithms