diff --git a/NEWS b/NEWS
index 99e0a6852..871bb9ef7 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,8 @@
 New in spot 0.9a:
 
-  Nothing yet.
+  * Bug fixes:
+    - The random SERE generator was using the wrong operators
+      for "and" and "or", mistaking And/Or with AndRat/OrRat.
 
 New in spot 0.9 (2012-05-09):
 
diff --git a/src/ltlvisit/randomltl.cc b/src/ltlvisit/randomltl.cc
index 367d62d8d..66f321b6e 100644
--- a/src/ltlvisit/randomltl.cc
+++ b/src/ltlvisit/randomltl.cc
@@ -285,9 +285,9 @@ namespace spot
       proba_[1].setup("boolform", 1, boolform_builder);
       proba_[2].setup("star",    2, bunop_unbounded_builder<bunop::Star>);
       proba_[3].setup("star_b",  2, bunop_bounded_builder<bunop::Star>);
-      proba_[4].setup("and",     3, multop_builder<multop::And>);
+      proba_[4].setup("and",     3, multop_builder<multop::AndRat>);
       proba_[5].setup("andNLM",  3, multop_builder<multop::AndNLM>);
-      proba_[6].setup("or",      3, multop_builder<multop::Or>);
+      proba_[6].setup("or",      3, multop_builder<multop::OrRat>);
       proba_[7].setup("concat",  3, multop_builder<multop::Concat>);
       proba_[8].setup("fusion",  3, multop_builder<multop::Fusion>);