Edits to section 1.1, and some notational things