Minor formatting change in section 3.2.1.2.