Fix doc typo.

Reported by cosmez on IRC.