Fix a typo noticed by nulltoken