slightly more debugging