more debugging stuff