Yeah, but that seems out of this PR's scope. I could do another commit that removes it.