Minor revisions to headings and texts