Added some debug prints