more debugging output.