Fix a typo in the commentary.