Miner: Dig Deep: Patch for a crash

This is a small update to fix a crash that was reported. Thank you to the person who reported the problem!