Something just happened. Did someone just mention miners on CNBC or something?