Whoops, yes, that was debug code. Removed.