Fix some typos in the documentation of internal compiler predicates