remove spurious printout