small fix to one predicate