Added some debugging prints