diff --git a/src/storm-dyftee.cpp b/src/storm-dyftee.cpp
index 2e9e88bbf..cf9922c47 100644
--- a/src/storm-dyftee.cpp
+++ b/src/storm-dyftee.cpp
@@ -46,7 +46,8 @@ void analyzeDFT(std::string filename, std::string property) {
  */
 int main(int argc, char** argv) {
     if(argc < 2) {
-        std::cout <<  "Storm-DyFTeE should be called with a filename as argument." << std::endl;
+        std::cout << "Storm-DyFTeE should be called with a filename as argument." << std::endl;
+        std::cout << "./storm-dft <filename> <optional pctl-formula> <optional --parametric>" << std::endl;
         return 1;
     }