Fixup: Return value in avl_equal()