Small corrections to the text for section 8.1.