Minor comment correction.