diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index dcc98e937..ffd5fc54c 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -331,8 +331,8 @@ add_dependencies(resources sylvan)
 if(${OPERATING_SYSTEM} MATCHES "Linux")
     find_package(Hwloc QUIET REQUIRED)
     if(HWLOC_FOUND)
-        message(STATUS "StoRM - Linking with hwloc ${Hwloc_VERSION}")
-        list(APPEND STORM_LINK_LIBRARIES ${Hwloc_LIBRARIES})
+        message(STATUS "StoRM - Linking with hwloc ${HWLOC_VERSION}")
+        list(APPEND STORM_LINK_LIBRARIES ${HWLOC_LIBRARIES})
     else()
         message(FATAL_ERROR "HWLOC is required but was not found.")
     endif()
diff --git a/src/storage/jani/Property.h b/src/storage/jani/Property.h
index 95ae41092..30f468d77 100644
--- a/src/storage/jani/Property.h
+++ b/src/storage/jani/Property.h
@@ -2,6 +2,8 @@
 
 #include "src/logic/formulas.h"
 #include "src/modelchecker/results/FilterType.h"
+#include "src/logic/Formulas.h"
+
 
 namespace storm {
     namespace jani {