Added some debug printouts