Fix a minor gaffe