added some more debugging output