some more debugging...