Update avl.h