Get rid of a debug printf