added some debug output