documentation

-Fix predicate template documentation