some debug output added