Minor fix for mining.