Add debugging traces