Corrections in predicates

Corrections to typos.