getting rid of some debug printing