Isn't there still 1.8 USDC?