[#85] more debugging