It turns out this isn't needed