Correct a typo in the explanatory text.