Small comment correction.