Added debugging prints