fix user-reported typo