remove spurious debug code