Fix a typo, thanks to Rujia Liu