diff --git a/prism/src/param/JasFunction.java b/prism/src/param/JasFunction.java
index 5a7b7bc6..d6eb4358 100644
--- a/prism/src/param/JasFunction.java
+++ b/prism/src/param/JasFunction.java
@@ -84,9 +84,9 @@ final class JasFunction extends Function {
 		if (isNaN()) {
 			return "NaN";
 		} else if (isInf()) {
-			return "Inf";
+			return "Infinity";
 		} else if (isMInf()) {
-			return "MInf";
+			return "-Infinity";
 		}
 		return jas.toString();
 	}