diff --git a/src/release.h b/src/release.h
new file mode 100644
index 0000000..48a0de8
--- /dev/null
+++ b/src/release.h
@@ -0,0 +1 @@
+#define RELEASEVERSION "1.0-beta 4"
diff --git a/src/switches.c b/src/switches.c
index 96398cb..3e095a9 100644
--- a/src/switches.c
+++ b/src/switches.c
@@ -15,6 +15,8 @@
 #include "error.h"
 #include "specialterm.h"
 
+#include "release.h"
+
 // Program name
 const char *progname = "scyther";
 
@@ -1175,12 +1177,16 @@ switcher (const int process, int index, int commandline)
       else
 	{
 	  printf ("'%s' model checker for security protocols.\n", progname);
+	  printf ("Version %s.\n", RELEASEVERSION);
+	  if (switches.expert)
+	  {
 #ifdef DEBUG
 	  printf ("Revision %s, compiled with debugging support.\n",
 		  SVNVERSION);
 #else
 	  printf ("Revision %s\n", SVNVERSION);
 #endif
+	  }
 	  printf ("Code by Cas Cremers\n");
 	  exit (0);
 	}