added some debugging infos