minor edit in comment