adding some debugging prints