This is a random, forgotten block of debugging code. Not relevant to this PR, but needed to go.