Section 1.1: small changes to english