remove spurious printf