Typo fix for 3.8 (JGreen feedback)