Correction of typo in comment