Added a little more debugging printing.