small typo fix

innocuous typo.