That was, as far as I can tell, just debug code. I'll remove it