diff --git a/src/tgbatest/ltl2dstar2.test b/src/tgbatest/ltl2dstar2.test
index 620aad739..7d014d400 100755
--- a/src/tgbatest/ltl2dstar2.test
+++ b/src/tgbatest/ltl2dstar2.test
@@ -1,6 +1,6 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2013 Laboratoire de Recherche et
+# Copyright (C) 2013, 2015 Laboratoire de Recherche et
 # Développement de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -71,7 +71,7 @@ head -n 20 > formulas
 while read f; do
   expected=`$ltl2tgba "$f" -BD --stats '%s %e 1 %d'`
   $ltlfilt -f "$f" -l |
-  ltl2dstar --ltl2nba=spin:$ltl2tgba@-sD - foo
+  ltl2dstar --ltl2nba=spin:$ltl2tgba@-Ds - foo
   echo "$f"
   output=`$dstar2tgba foo -BD --stats '%s %e %d 1'`
   # the '1 %d' matching '%d 1' makes sure input and output are deterministic.