diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 641e0b98e..102e82875 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -120,8 +120,7 @@ syntax(char* prog)
 
 	    << "Translation algorithm:" << std::endl
             << "  -f    use Couvreur's FM algorithm for LTL"
-	    << "(default)"
-	    << std::endl
+	    << " (default)" << std::endl
             << "  -l    use Couvreur's LaCIM algorithm for LTL "
 	    << std::endl
 	    << "  -le   use Couvreur's LaCIM algorithm for ELTL"