diff --git a/reactics b/reactics
index b3f389b..877f967 100755
--- a/reactics
+++ b/reactics
@@ -1,5 +1,11 @@
 #!/bin/bash
 
+echo
+echo " ------------------------------------------------"
+echo " -- ReactICS -- Reaction Systems Model Checker --"
+echo " ------------------------------------------------"
+echo
+
 mode="$1"
 shift