diff --git a/NEWS b/NEWS
index 16fabf07c..de0061a64 100644
--- a/NEWS
+++ b/NEWS
@@ -5,6 +5,7 @@ New in spot 0.9a:
       for "and" and "or", mistaking And/Or with AndRat/OrRat.
     - The translation of !{r} was incorrect when this subformula
       was recurring (e.g. in G!{r}) and r had loops.
+    - Correctly recognize ltl2tgba's option -rL.
 
 New in spot 0.9 (2012-05-09):
 
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 102e82875..a787367ef 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -623,16 +623,16 @@ main(int argc, char** argv)
         {
           reduction_dir_sim = true;
         }
-      else if (!strcmp(argv[formula_index], "-Rm"))
-        {
-          opt_minimize = true;
-        }
-      else if (!strcmp(argv[formula_index], "-rs"))
+      else if (!strcmp(argv[formula_index], "-rL"))
         {
 	  simpltl = true;
 	  redopt.reduce_basics = true;
 	  redopt.reduce_size_strictly = true;
         }
+      else if (!strcmp(argv[formula_index], "-Rm"))
+        {
+          opt_minimize = true;
+        }
       else if (!strcmp(argv[formula_index], "-M"))
         {
           opt_monitor = true;