Minor wording edits to PROV model doc