Add some debug printout