Repaired a minor bug on two predicates