corrections to matching predicates