diff --git a/aconversions/src/fa2re/BrzozowskiAlgebraic.cpp b/aconversions/src/fa2re/BrzozowskiAlgebraic.cpp
index 1a4d8b99b7b54fd491e01052776d356fb0528f4a..aa9ef137b6ceba445e4c1077dbfa8fa7235df4d6 100644
--- a/aconversions/src/fa2re/BrzozowskiAlgebraic.cpp
+++ b/aconversions/src/fa2re/BrzozowskiAlgebraic.cpp
@@ -30,10 +30,12 @@ void BrzozowskiAlgebraic::initEquations( void )
         m_solver.addSymbol( Symbol( q.getName( ) ) );
 
     for( const auto & q : m_automaton.getStates( ) )
+    {
         if( isInSet( q, m_automaton.getFinalStates( ) ) )
             m_solver.addEquation( Symbol( q.getName( ) ), new RegExpEpsilon( ) );
         else
             m_solver.addEquation( Symbol( q.getName( ) ), new RegExpEmpty( ) );
+    }
 
 
     for( const auto & p : m_automaton.getStates( ) )
diff --git a/aconversions/src/fa2re/BrzozowskiAlgebraic.h b/aconversions/src/fa2re/BrzozowskiAlgebraic.h
index 9e25beacf2ce61552db0216d8117768d7ef8e729..052406d8cb5de7a15402e2e6d52ae8c5e18bb8aa 100644
--- a/aconversions/src/fa2re/BrzozowskiAlgebraic.h
+++ b/aconversions/src/fa2re/BrzozowskiAlgebraic.h
@@ -21,7 +21,7 @@
 #include <regexp/RegExpEpsilon.h>
 
 #include "AbstractFAtoREConverter.h"
-#include "../shared/RegularEquationSolver.h"
+#include "../shared/RightRegularEquationSolver.h"
 
 namespace conversions
 {
@@ -43,7 +43,7 @@ public:
 private:
     void initEquations( void );
 
-    RegularEquationSolver m_solver;
+    RightRegularEquationSolver m_solver;
 };
 
 } /* namespace conversions */