Add some more debugging output