some debug prints to figure out this problem