I'd add a comment here about why these shenanigans are necessary.