remove spurious debugging output