I just researched the High Output Mining tech, and expected to see my yield of strategic resources increase, since the tech says it gives mining +1. But nothing happened, I have the same number of resources as before (even after waiting a turn). Does this tech work? I'm using the generic tech tree with a custom race, in case that matters.