fix bug in compute_claim_value