fixing typos, "then the" constructs, and adding requires to requires-clause