Fix infinite loop in has binder