Added some more debugging output