diff --git a/src/clausecleaner.cpp b/src/clausecleaner.cpp
index 274c12725..d18ffc396 100644
--- a/src/clausecleaner.cpp
+++ b/src/clausecleaner.cpp
@@ -304,8 +304,7 @@ bool ClauseCleaner::clean_clause(Clause& cl)
         const auto orig_ID = cl.stats.ID;
         INC_ID(cl);
         cl.shrink(i-j);
-        (*solver->frat) << add << cl;
-        (*solver->frat) << chain << orig_ID;
+        (*solver->frat) << add << cl << chain << orig_ID;
         for(auto const& id: solver->chain) (*solver->frat) << id;
         (*solver->frat) << fin << findelay;
     } else {