diff --git a/CMakeLists.txt b/CMakeLists.txt
index 294328776..57e94b8b8 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -371,8 +371,7 @@ if (STORM_VERSION_MAJOR STREQUAL "HEAD-HASH-NOTFOUND")
 	set(STORM_VERSION_COMMITS_AHEAD 0)
 	set(STORM_VERSION_DIRTY boost::none)
 
-	message(WARN "Storm - git version information not available.")
-	message(STATUS "Storm - version is ${STORM_VERSION_MAJOR}.${STORM_VERSION_MINOR}.${STORM_VERSION_PATCH}.")
+	message(WARNING "Storm - git version information not available, statically assuming version ${STORM_VERSION_MAJOR}.${STORM_VERSION_MINOR}.${STORM_VERSION_PATCH}.")
 else()
 	if ("${STORM_VERSION_APPENDIX}" MATCHES "^.*dirty.*$")
 		set(STORM_VERSION_DIRTY "true")