Slight typo correction in comment