Adding some debug prints