Congress’s non-partisan scorekeeper didn’t find any big savings for the U.S. government in a Senate bill designed to stabilize Obamacare, but the reason for that is a technicality.

The bipartisan legislation, from Republican Senator Lamar Alexander and Democrat Patty Murray, would explicitly fund the Affordable Care Act’s cost-sharing reduction payments through 2019, while offering more flexibility for states to set up their own insurance markets. This month President Donald Trump halted the payments -- which reimburse health insurers for offering reduced co-pays and deductibles to lower-income customers -- amid a dispute over their legality.

Funding the payments known as CSRs doesn’t have a cost or benefit, according to CBO, because the they are already included in the agency’s baseline estimates. The agency used the baseline that assumes the CSRs are made after consulting with Budget committees in the House and Senate, according to the report.