Cosmetic: fix a typo.