small fixes, better stopped miner handling