Minor stylistic change in last sentence of section 5.