fixed oops in miner.h