Tiny typo

Microdiff for typo.