Another doc typo.