more debugging lines