diff --git a/ChangeLog b/ChangeLog
index 428da661e..ffd883bd5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-05-24  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/sanity/style.test: Catch `;'-not-followed-by-space.
+	* src/ltlvisit/reducform.cc, src/ltlvisit/forminf.cc: Fix style.
+
 	* src/ltlvisit/reducform.hh: Fix some Doxygen comments.
 
 	* src/tgbatest/ltl2tgba.cc (syntax): Keep options sorted.
diff --git a/src/ltlvisit/forminf.cc b/src/ltlvisit/forminf.cc
index c26f170fe..77e511495 100644
--- a/src/ltlvisit/forminf.cc
+++ b/src/ltlvisit/forminf.cc
@@ -61,7 +61,10 @@ namespace spot
     node_type_form_visitor::node_type_form_visitor(){}
 
     node_type_form_visitor::type
-    node_type_form_visitor::result() const { return result_;}
+    node_type_form_visitor::result() const
+    {
+      return result_;
+    }
 
     void
     node_type_form_visitor::visit(const atomic_prop*)
diff --git a/src/ltlvisit/reducform.cc b/src/ltlvisit/reducform.cc
index 282c123f4..95b17e698 100644
--- a/src/ltlvisit/reducform.cc
+++ b/src/ltlvisit/reducform.cc
@@ -134,7 +134,7 @@ namespace spot
 	      case binop::Xor:
 	      case binop::Equiv:
 	      case binop::Implies:
-		break;;
+		break;
 
 	      case binop::U:
 		/* a < b => a U b = b */
@@ -218,7 +218,7 @@ namespace spot
 		    f1 = *index;
 		    index++;
 		  }
-		for (; index != res->end();index++)
+		for (; index != res->end(); index++)
 		  {
 		    f2 = *index;
 		    /* a < b => a + b = b */
diff --git a/src/sanity/style.test b/src/sanity/style.test
index cd2bd8458..0d44afe33 100755
--- a/src/sanity/style.test
+++ b/src/sanity/style.test
@@ -95,6 +95,9 @@ for dir in "${INCDIR-..}" "${INCDIR-..}"/../iface; do
     grep '[	 ];' $tmp &&
       diag 'No space before semicolon.'
 
+    grep -v 'for (;;)' $tmp | grep ';[^	 ")]' &&
+      diag 'Must have space or newline after semicolon.'
+
     $fail && echo "$file" >>failures
   done
 done