Adding debugging infos