Fix a typo in previous commit