Fix style in avl_find

It's a Micro-PR.