fix wording of assumptions