True, but in this case it doesn't matter. The goal of a gas tax is to incorporate its negative externalities into the price signal, so that if burning a gallon benefits you by $1 but costs $1.50 in environmental damage, you won't do it. What the tax revenue is spent on is basically irrelevant.