corrected probtype in full program