Added `Miner` fixes from Yaron.