Yep you're right ! I messed the clarity in the UI.
I wanted to let you change X workers from miners to builders, and while I was at it I did add also the possibility to buy X. But it isn't as useful. You can reach ~75-100 workers at the endgame, and with more content it could become useful again :)