Fix a typo in the summary.