Fix some "typos" in avl.ml