diff --git a/prism/src/hybrid/PrismHybrid.cc b/prism/src/hybrid/PrismHybrid.cc
index aac9eae0..b649f13d 100644
--- a/prism/src/hybrid/PrismHybrid.cc
+++ b/prism/src/hybrid/PrismHybrid.cc
@@ -167,7 +167,7 @@ void PH_PrintWarningToMainLog(JNIEnv *env, const char *str, ...)
 	if (env)
 		env->CallVoidMethod(main_log_obj, main_log_warn, env->NewStringUTF(full_string));
 	else
-		printf("Warning: %s", full_string);
+		printf("\nWarning: %s\n", full_string);
 }
 
 //------------------------------------------------------------------------------
diff --git a/prism/src/mtbdd/PrismMTBDD.cc b/prism/src/mtbdd/PrismMTBDD.cc
index 69cc3815..e92eb9ce 100644
--- a/prism/src/mtbdd/PrismMTBDD.cc
+++ b/prism/src/mtbdd/PrismMTBDD.cc
@@ -158,7 +158,7 @@ void PM_PrintWarningToMainLog(JNIEnv *env, const char *str, ...)
 	if (env)
 		env->CallVoidMethod(main_log_obj, main_log_warn, env->NewStringUTF(full_string));
 	else
-		printf("Warning: %s", full_string);
+		printf("\nWarning: %s\n", full_string);
 }
 
 //------------------------------------------------------------------------------
diff --git a/prism/src/sparse/PS_NondetReachReward.cc b/prism/src/sparse/PS_NondetReachReward.cc
index 62d24768..7e670434 100644
--- a/prism/src/sparse/PS_NondetReachReward.cc
+++ b/prism/src/sparse/PS_NondetReachReward.cc
@@ -159,7 +159,7 @@ jboolean min				// min or max probabilities (true = min, false = max)
 			// also extract list of action names from 'synchs'
 			get_string_array_from_java(env, synchs, action_names_jstrings, action_names, num_actions);
 		} else {
-			PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.\n", export_adv_filename);
+			PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.", export_adv_filename);
 		}
 	}
 	
@@ -234,7 +234,7 @@ jboolean min				// min or max probabilities (true = min, false = max)
 		if (fp_adv) {
 			fprintf(fp_adv, "%d ?\n", n);
 		} else {
-			PS_PrintWarningToMainLog(env, "Adversary generation cancelled (could not open file \"%s\").\n", export_adv_filename);
+			PS_PrintWarningToMainLog(env, "Adversary generation cancelled (could not open file \"%s\").", export_adv_filename);
 			export_adv_enabled = EXPORT_ADV_NONE;
 		}
 	}
diff --git a/prism/src/sparse/PS_NondetUntil.cc b/prism/src/sparse/PS_NondetUntil.cc
index 633e5b51..ed7acaa6 100644
--- a/prism/src/sparse/PS_NondetUntil.cc
+++ b/prism/src/sparse/PS_NondetUntil.cc
@@ -155,7 +155,7 @@ jboolean min				// min or max probabilities (true = min, false = max)
 			// also extract list of action names from 'synchs'
 			get_string_array_from_java(env, synchs, action_names_jstrings, action_names, num_actions);
 		} else {
-			PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.\n", export_adv_filename);
+			PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.", export_adv_filename);
 		}
 	}
 	
@@ -212,7 +212,7 @@ jboolean min				// min or max probabilities (true = min, false = max)
 		if (fp_adv) {
 			fprintf(fp_adv, "%d ?\n", n);
 		} else {
-			PS_PrintWarningToMainLog(env, "Adversary generation cancelled (could not open file \"%s\").\n", export_adv_filename);
+			PS_PrintWarningToMainLog(env, "Adversary generation cancelled (could not open file \"%s\").", export_adv_filename);
 			export_adv_enabled = EXPORT_ADV_NONE;
 		}
 	}
diff --git a/prism/src/sparse/PrismSparse.cc b/prism/src/sparse/PrismSparse.cc
index ababe2b1..27f78dff 100644
--- a/prism/src/sparse/PrismSparse.cc
+++ b/prism/src/sparse/PrismSparse.cc
@@ -160,7 +160,7 @@ void PS_PrintWarningToMainLog(JNIEnv *env, const char *str, ...)
 	if (env)
 		env->CallVoidMethod(main_log_obj, main_log_warn, env->NewStringUTF(full_string));
 	else
-		printf("Warning: %s", full_string);
+		printf("\nWarning: %s\n", full_string);
 }
 
 //------------------------------------------------------------------------------