diff --git a/aconversions/src/fa2re/StateElimination.cpp b/aconversions/src/fa2re/StateElimination.cpp
index 177a3a0b7ba60b668c0982ea499201edf3614113..6b6551f0e42e2c85dd645babb01de800aeffbb84 100644
--- a/aconversions/src/fa2re/StateElimination.cpp
+++ b/aconversions/src/fa2re/StateElimination.cpp
@@ -159,6 +159,8 @@ RegExpElement* StateElimination::transition( const State & p, const State & q )
 {
     Alternation* alt = new Alternation( );
 
+    alt->getElements( ).push_back( new RegExpEmpty( ) );
+
     for( const auto & transition : m_MR.m_transitions )
         if( transition.m_from == p && transition.m_to == q )
             alt->getElements( ).push_back( transition.m_regexp->clone( ) );