diff --git a/prism/src/explicit/StateModelChecker.java b/prism/src/explicit/StateModelChecker.java
index 976a1f1d..8eac090d 100644
--- a/prism/src/explicit/StateModelChecker.java
+++ b/prism/src/explicit/StateModelChecker.java
@@ -646,7 +646,7 @@ public class StateModelChecker
 					vals.printFiltered(mainLog, bsFilter, false, false, true, true);
 				}
 			}
-			// Result vector is unchanged; for ARGMIN, don't store a single value (in resObj)
+			// Result vector is unchanged; for PRINT/PRINTALL, don't store a single value (in resObj)
 			// Also, don't bother with explanation string
 			resVals = vals;
 			// Set vals to null to stop it being cleared below
diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java
index 48a60d0c..8ab5934f 100644
--- a/prism/src/prism/StateModelChecker.java
+++ b/prism/src/prism/StateModelChecker.java
@@ -1071,7 +1071,7 @@ public class StateModelChecker implements ModelChecker
 					vals.printFiltered(mainLog, ddFilter, false, false, true);
 				}
 			}
-			// Result vector is unchanged; for PRINT, don't store a single value (in resObj)
+			// Result vector is unchanged; for PRINT/PRINTALL, don't store a single value (in resObj)
 			// Also, don't bother with explanation string
 			resVals = vals;
 			// Set vals to null to stop it being cleared below