diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index 9ffababeb..34e38bbf7 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -436,9 +436,6 @@ ExternalProject_Add(
         LOG_BUILD ON
         DEPENDS ${sylvan_dep}
         BUILD_BYPRODUCTS ${STORM_3RDPARTY_BINARY_DIR}/sylvan/src/libsylvan${STATIC_EXT}
-        
-        // FIXME: remove
-        BUILD_ALWAYS 1
 )
 
 ExternalProject_Get_Property(sylvan source_dir)
diff --git a/resources/3rdparty/sylvan/src/sylvan_mtbdd_storm.c b/resources/3rdparty/sylvan/src/sylvan_mtbdd_storm.c
index ab14e67a3..caf2ad18d 100644
--- a/resources/3rdparty/sylvan/src/sylvan_mtbdd_storm.c
+++ b/resources/3rdparty/sylvan/src/sylvan_mtbdd_storm.c
@@ -639,14 +639,14 @@ TASK_IMPL_2(MTBDD, mtbdd_op_to_rational_number, MTBDD, a, size_t, p)
             assert(0);
         }
     }
-    
+
     return mtbdd_invalid;
     (void)p; // unused variable
 }
 
 TASK_IMPL_2(MTBDD, mtbdd_to_rational_number, MTBDD, dd, size_t, p)
 {
-    return mtbdd_uapply(dd, TASK(mtbdd_to_rational_number), 0);
+    return mtbdd_uapply(dd, TASK(mtbdd_op_to_rational_number), 0);
 }
 
 
diff --git a/src/test/storm/storage/SylvanDdTest.cpp b/src/test/storm/storage/SylvanDdTest.cpp
index 1a34cdf71..48778a174 100644
--- a/src/test/storm/storage/SylvanDdTest.cpp
+++ b/src/test/storm/storage/SylvanDdTest.cpp
@@ -868,7 +868,7 @@ TEST(SylvanDd, AddToRationalTest) {
     std::map<storm::expressions::Variable, int_fast64_t> metaVariableToValueMap;
     metaVariableToValueMap.emplace(x.first, 4);
     
-    ASSERT_EQ(storm::utility::convertNumber<storm::RationalNumber>(std::string("4/10")), rationalDd.getValue(metaVariableToValueMap));
+    ASSERT_EQ(storm::utility::convertNumber<storm::RationalNumber>(std::string("3602879701896397/9007199254740992")), rationalDd.getValue(metaVariableToValueMap));
 }