remove spurious printf's