We show how corrective taxation can improve the efficiency properties of tradable quotas systems affected by market power. Indeed, when only a subset of firms are price takers while the remaining firms enjoy market power, we show that, if the regulator sets an ad hoc taxation on firms' traded...