added: print debugging info