diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java
index 0a530e05..96a2b99b 100644
--- a/prism/src/prism/PrismSettings.java
+++ b/prism/src/prism/PrismSettings.java
@@ -1208,7 +1208,7 @@ public class PrismSettings implements Observer
 		else if (sw.equals("param")) {
 			set(PRISM_PARAM_ENABLED, true);
 		}
-		else if (sw.equals("param-precision")) {
+		else if (sw.equals("paramprecision")) {
 			if (i < args.length - 1) {
 				set(PRISM_PARAM_PRECISION, args[++i]);
 			} else {