diff --git a/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp b/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp
index 7b4f59cf6..5398d59db 100644
--- a/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp
+++ b/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp
@@ -109,10 +109,7 @@ namespace storm {
                 storm::storage::sparse::ModelComponents<ValueType> components(newTransitionMatrix, newLabeling);
                 components.observabilityClasses = newObservations;
 
-                auto newPomdp = storm::models::sparse::Pomdp<ValueType>(components, true);
-
-                newPomdp.printModelInformationToStream(std::cout);
-                return std::make_shared<storm::models::sparse::Pomdp<ValueType>>(newPomdp);
+                return std::make_shared<storm::models::sparse::Pomdp<ValueType>>(std::move(components), true);
             }
 
             template class KnownProbabilityTransformer<double>;