Minor comment correction