adding a debugging Header printout