commented out some debug printf