added more debugging output