Revert "This should work, but doesn't."

And we don't need it anyway.

This reverts commit be7d2e9d1ae12dcf0670255a9d187df64e5fae21.