diff --git a/client/src/main/java/com/github/gumtreediff/client/Run.java b/client/src/main/java/com/github/gumtreediff/client/Run.java
index 3f1ce0077..1db5f8eff 100644
--- a/client/src/main/java/com/github/gumtreediff/client/Run.java
+++ b/client/src/main/java/com/github/gumtreediff/client/Run.java
@@ -39,7 +39,7 @@ public Option[] values() {
 
                         @Override
                         protected void process(String name, String[] args) {
-                            String key = args[0].startsWith("gumtree.") ? args[0] : "gumtree." + args[0];
+                            String key = args[0].startsWith("gt.") ? args[0] : "gt." + args[0];
                             System.setProperty(key, args[1]);
                         }
                     },