fixed minor bug in miner