I assume that depends on what the miner does with their bitcoins. My reading is that if they spend them directly as bitcoins, then no. If they convert them to US dollars, then yes. (I'm willing to believe that the latter is more common, of course.)