Remove a debug printf