[#85] debugging code