Fix typo found by Stephen S.