diff --git a/src/storm/transformer/NonMarkovianChainTransformer.cpp b/src/storm/transformer/NonMarkovianChainTransformer.cpp
index 34254af39..3170698c9 100644
--- a/src/storm/transformer/NonMarkovianChainTransformer.cpp
+++ b/src/storm/transformer/NonMarkovianChainTransformer.cpp
@@ -256,6 +256,7 @@ namespace storm {
             fragment.setGloballyFormulasAllowed(true);
             fragment.setReachabilityProbabilityFormulasAllowed(true);
             fragment.setUntilFormulasAllowed(true);
+            fragment.setTimeBoundedUntilFormulasAllowed(true);
 
             return formula.isInFragment(fragment);
         }