removing spurious printf