minor comment correction