predicate bug fixed