Corrects the predicate formats a little.