A doc typo.