diff --git a/prism/src/dd/dd_export.cc b/prism/src/dd/dd_export.cc
index c52209c0..202261c4 100644
--- a/prism/src/dd/dd_export.cc
+++ b/prism/src/dd/dd_export.cc
@@ -177,7 +177,7 @@ FILE *fp
 		stored[count++] = dd;
 	}
 	
-	fprintf(fp, "%d\n", (size_t)dd);
+	fprintf(fp, "%zu\n", (size_t)dd);
 	return 0;
 }
 
diff --git a/prism/src/mtbdd/PrismMTBDD.cc b/prism/src/mtbdd/PrismMTBDD.cc
index 2529d545..7e9fb83e 100644
--- a/prism/src/mtbdd/PrismMTBDD.cc
+++ b/prism/src/mtbdd/PrismMTBDD.cc
@@ -207,7 +207,7 @@ void export_string(const char *str, ...)
 	va_end(argptr);
 	
 	if (export_file) {
-		fprintf(export_file, full_string);
+		fprintf(export_file, "%s", full_string);
 	} else {
 		PM_PrintToMainLog(export_env, full_string);
 	}
diff --git a/prism/src/sparse/PS_NondetMultiObjGS.cc b/prism/src/sparse/PS_NondetMultiObjGS.cc
index a9c10237..0d776e51 100644
--- a/prism/src/sparse/PS_NondetMultiObjGS.cc
+++ b/prism/src/sparse/PS_NondetMultiObjGS.cc
@@ -372,11 +372,12 @@ JNIEXPORT jdoubleArray __jlongpointer JNICALL Java_sparse_PrismSparse_PS_1Nondet
 						else
 							d1 = d2;
 						for (int it = 0; it < lenRew + lenProb; it++) {
-							if (it != ignoredWeight)
+							if (it != ignoredWeight) {
 								if (fabs(pd2[it]) < near_zero)
 									pd1[it] = 0; //round off small numbers to 0
 								else
 									pd1[it] = pd2[it];
+							}
 						}
 					}
 					first = false;
diff --git a/prism/src/sparse/PrismSparse.cc b/prism/src/sparse/PrismSparse.cc
index 00a59a09..15bbc6a8 100644
--- a/prism/src/sparse/PrismSparse.cc
+++ b/prism/src/sparse/PrismSparse.cc
@@ -231,7 +231,7 @@ void export_string(const char *str, ...)
 	va_end(argptr);
 	
 	if (export_file) {
-		fprintf(export_file, full_string);
+		fprintf(export_file, "%s", full_string);
 	} else {
 		PS_PrintToMainLog(export_env, full_string);
 	}