fixed problem in the comp for glue/kan vu: should be leq instead of member