diff --git a/src/inport/Main.java b/src/inport/Main.java
index d69cc352fd0c9d068e91b61a8370c0dc244cfda8..7d6026c15a1bdc1c78ddccbf29752323e984338d 100644
--- a/src/inport/Main.java
+++ b/src/inport/Main.java
@@ -135,12 +135,13 @@ public class Main {
                 break;
             }
             case "debug" : {
-                ConversionType t = (args.length == 2) ? ConversionType.WithoutSplitting
-                                                      : ConversionType.fromString(args[2]);
+                ConversionType t = (args.length == 1) ? ConversionType.WithoutSplitting
+                                                      : ConversionType.fromString(args[1]);
                 if (t.equals(ConversionType.Undefined)) {
-                    System.out.println(undefinedTypeErrorMess(args[2]));
+                    System.out.println(undefinedTypeErrorMess(args[1]));
                     return;
                 }
+                System.out.println(t.text);
                 debug(t.solver, DEFAULT_TIME_LIMIT_S);
                 break;
             }
@@ -149,10 +150,10 @@ public class Main {
                 break;
             }
             case "testing" :
-                ConversionType t = (args.length == 2) ? ConversionType.WithoutSplitting
-                                                      : ConversionType.fromString(args[2]);
+                ConversionType t = (args.length == 1) ? ConversionType.WithoutSplitting
+                                                      : ConversionType.fromString(args[1]);
                 if (t.equals(ConversionType.Undefined)) {
-                    System.out.println(undefinedTypeErrorMess(args[2]));
+                    System.out.println(undefinedTypeErrorMess(args[1]));
                     return;
                 }
                 testGroup("with_typing", t.solver, DEFAULT_TIME_LIMIT_S);