Added some debug printf