Remove some debug printf