very small comment correction