Remove some debug printing