Remove spurious printf calls