some more debugging code