remove spurious debug