yet more debugging lines