Did Galaxy find more BTC to sell or something?