diff --git a/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp b/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp
index 45016e515..e764b69ce 100644
--- a/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp
+++ b/src/storm-pomdp/transformer/KnownProbabilityTransformer.cpp
@@ -116,8 +116,8 @@ namespace storm {
                 return std::make_shared<storm::models::sparse::Pomdp<ValueType>>(newPomdp);
             }
 
-            template
-            class KnownProbabilityTransformer<double>;
+            template class KnownProbabilityTransformer<double>;
+            template class KnownProbabilityTransformer<storm::RationalNumber>;
         }
     }
 }
\ No newline at end of file