Fix markdown errors in predicates
Fix small errors from the material