Adding some debugging printing.