commented out debug printing to stderr