small typo fix in comment