remove some debug printing