Man, the miners sure were short back then.