some debugging print statements