remove a debug printf()