add some more debugging output