Fix some wording

Added missing predicate, changed some words to be more precise