testing: more debugging lines