removed some debug printing