Fix predicate arity typo in previous commit