diff --git a/kawa/repl.java b/kawa/repl.java
index 649eea6..6d18e8b 100644
--- a/kawa/repl.java
+++ b/kawa/repl.java
@@ -375,7 +375,7 @@ else if (arg.equals("--target") || arg.equals("target"))
             arg = args[iArg];
             if (arg.equals("7"))
               Compilation.defaultClassFileVersion = ClassType.JDK_1_7_VERSION;
-            if (arg.equals("6") || arg.equals("1.6"))
+            else if (arg.equals("6") || arg.equals("1.6"))
               Compilation.defaultClassFileVersion = ClassType.JDK_1_6_VERSION;
             else if (arg.equals("5") || arg.equals("1.5"))
               Compilation.defaultClassFileVersion = ClassType.JDK_1_5_VERSION;