remove a needless printf