+ tree: more comment for AVLTree.fixup()