diff --git a/src/storm-dft/generator/DftNextStateGenerator.cpp b/src/storm-dft/generator/DftNextStateGenerator.cpp
index d8fcb1072..61596c0f8 100644
--- a/src/storm-dft/generator/DftNextStateGenerator.cpp
+++ b/src/storm-dft/generator/DftNextStateGenerator.cpp
@@ -30,7 +30,7 @@ namespace storm {
                     if (constBe->failed()) {
                         constFailedBeCounter++;
                         STORM_LOG_THROW(constFailedBeCounter < 2, storm::exceptions::NotSupportedException,
-                                        "DFTs with more than one constantly failed BE are not supported");
+                                        "DFTs with more than one constantly failed BE are not supported. Try using the option '--uniquefailedbe'.");
                         constFailedBE = constBe;
                     }
                 }