Remove some spurious debug code