diff --git a/examples/pdtmc/nand/nand_10-5.pm b/examples/pdtmc/nand/nand_10-5.pm
index 5a1006a73..2eddb28e9 100644
--- a/examples/pdtmc/nand/nand_10-5.pm
+++ b/examples/pdtmc/nand/nand_10-5.pm
@@ -69,3 +69,8 @@ endmodule
 label "target" = s=4 & z/N<0.1;
 label "end" = s=4;
 
+// rewards: final value of gate
+rewards
+    // [] s=0 & (c=N) & (u=M) : z/N;
+    s=0 & (c=N) & (u=M) : z/N;
+endrewards
diff --git a/src/storage/parameters.h b/src/storage/parameters.h
index 5313a0e23..9dc862203 100644
--- a/src/storage/parameters.h
+++ b/src/storage/parameters.h
@@ -13,9 +13,9 @@ namespace storm
 //	typedef carl::MultivariatePolynomial<cln::cl_RA> Polynomial;
 	typedef carl::Variable  Variable;
     typedef carl::MultivariatePolynomial<cln::cl_RA> RawPolynomial;
-//    typedef carl::FactorizedPolynomial<RawPolynomial> Polynomial;
+    typedef carl::FactorizedPolynomial<RawPolynomial> Polynomial;
 
-    typedef RawPolynomial Polynomial;
+//    typedef RawPolynomial Polynomial;
 	
 	typedef carl::CompareRelation CompareRelation;
 	typedef carl::RationalFunction<Polynomial> RationalFunction;