diff --git a/prism/ext/lp_solve_5.5_java/lib/mac/liblpsolve55j.jnilib b/prism/ext/lp_solve_5.5_java/lib/mac/liblpsolve55j.jnilib
index 47ff33b2..41800ea6 100755
Binary files a/prism/ext/lp_solve_5.5_java/lib/mac/liblpsolve55j.jnilib and b/prism/ext/lp_solve_5.5_java/lib/mac/liblpsolve55j.jnilib differ
diff --git a/prism/src/sparse/PS_NondetMultiObj.cc b/prism/src/sparse/PS_NondetMultiObj.cc
index d891c75e..d9f4cd5c 100644
--- a/prism/src/sparse/PS_NondetMultiObj.cc
+++ b/prism/src/sparse/PS_NondetMultiObj.cc
@@ -130,13 +130,14 @@ JNIEXPORT jdoubleArray __jlongpointer JNICALL Java_sparse_PrismSparse_PS_1Nondet
 	//from the combined value. We must make sure that this reward has nonzero weight,
 	//otherwise we can't compute it.
 	int ignoredWeight = -1;
-	
+
+	/* HOTFIX: not used for numerical problems	
 	for (i = lenProb + lenRew - 1; i>=0; i--) {
 		if (weights[i] > 0) {
 			ignoredWeight = i;
 			break;
 		}
-	}
+	}*/
 
 	//determine the minimal nonzero weight
 	double min_weight = 1;
diff --git a/prism/src/sparse/PS_NondetMultiObjGS.cc b/prism/src/sparse/PS_NondetMultiObjGS.cc
index 7d18607f..d0d4d44e 100644
--- a/prism/src/sparse/PS_NondetMultiObjGS.cc
+++ b/prism/src/sparse/PS_NondetMultiObjGS.cc
@@ -133,12 +133,13 @@ JNIEXPORT jdoubleArray __jlongpointer JNICALL Java_sparse_PrismSparse_PS_1Nondet
 	//otherwise we can't compute it.
 	int ignoredWeight = -1;
 	
+	/* HOTFIX not used for numerical problems
 	for (i = lenProb + lenRew - 1; i>=0; i--) {
 		if (weights[i] > 0) {
 			ignoredWeight = i;
 			break;
 		}
-	}
+	}*/
 	
 	//determine the minimal nonzero weight
 	double min_weight = 1;