Minor improvments to AVL tree, and a few new comments