Fix a bug involving multiple high-level sections.