[#85] more debugging code