Mining Town Focus Doesn't Give Correct Production Bonus

During the Exploration Age, if the player changes the Town Focus to Mining Town, there is a chance that some of the tiles don't receive the Production bonus.