diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index dfebf680..e43a2964 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -16,7 +16,8 @@ Changes:
 Ongoing changes:
 
 * CSV format for results export (GUI, not CL yet)
-* Handling of verbosity/warnings in log
+* Handling of verbosity in log: PrismLog updated, not used yet
+* Handling of warnings in log
 * Properties can be named, by prefixing with "name":, and reference each other
 * CTL AG/EF
 
diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index b4315626..d5b99b23 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -1052,12 +1052,18 @@ public class PrismCL
 	{
 		// clear up and close down
 		prism.closeDown(true);
-		mainLog.println();
-		if (mainLog.getNumberOfWarnings() > 0)
-		{
-			mainLog.println("Note that " + mainLog.getNumberOfWarnings()
-					+ " warning(s) were produced during computation");
+		// notify about any warnings
+		int numWarnings = mainLog.getNumberOfWarnings();
+		if (numWarnings > 0) {
+			mainLog.println("\n-------------------------------------------");
+			mainLog.print("\nNote: There ");
+			if (numWarnings == 1)
+				mainLog.print("was 1 warning");
+			else
+				mainLog.print("were " + numWarnings + " warnings");
+			mainLog.println(" during computation.");
 		}
+		mainLog.println();
 	}
 
 	/**