remove some debug printf's