Fix IDE-copy mistake: double sections.