[#85] debugging code fix