diff --git a/src/storm/logic/GameFormula.cpp b/src/storm/logic/GameFormula.cpp
index 8e42f7e65..697a695a0 100644
--- a/src/storm/logic/GameFormula.cpp
+++ b/src/storm/logic/GameFormula.cpp
@@ -4,8 +4,7 @@
 
 namespace storm {
     namespace logic {
-        GameFormula::GameFormula(Coalition coalition, std::shared_ptr<Formula const> subFormula) : coalition(coalition), subformula(subformula) {
-            STORM_PRINT_AND_LOG("CTOR subf usecount:" << subformula.use_count() << std::endl);
+        GameFormula::GameFormula(Coalition coalition, std::shared_ptr<Formula const> const& subformula) : coalition(coalition), subformula(subformula) {
             // Intentionally left empty.
         }
 
diff --git a/src/storm/logic/GameFormula.h b/src/storm/logic/GameFormula.h
index 81384ddcf..113b9e65f 100644
--- a/src/storm/logic/GameFormula.h
+++ b/src/storm/logic/GameFormula.h
@@ -9,7 +9,7 @@ namespace storm {
     namespace logic {
         class GameFormula : public Formula {
         public:
-            GameFormula(Coalition coalition, std::shared_ptr<Formula const> subFormula);
+            GameFormula(Coalition coalition, std::shared_ptr<Formula const> const& subFormula);
 
             ~GameFormula() {
                 // Intentionally left empty.