A typo correction in comment