Adding some more debugging prints