deleted some debug printing