Other small improvement to the prose in Section 7.