changed: some debug output