a bit more debugging