Tiny typo: mismatch from section to summary