Small improvements in the section.