diff --git a/gui/Gui/Scytherthread.py b/gui/Gui/Scytherthread.py
index d3272ea..d83e5c2 100644
--- a/gui/Gui/Scytherthread.py
+++ b/gui/Gui/Scytherthread.py
@@ -254,7 +254,14 @@ class ErrorWindow(wx.Dialog):
         line = wx.StaticLine(self, -1, size=(20,-1), style=wx.LI_HORIZONTAL)
         sizer.Add(line, 0, wx.GROW|wx.ALIGN_CENTER_VERTICAL|wx.RIGHT|wx.TOP, 5)
 
-        label = wx.StaticText(self, -1, "\n".join(errors))
+        etxt = ""
+        prefix = "error: "
+        for er in errors:
+            if er.startswith(prefix):
+                er = er[len(prefix):]
+            etxt = etxt + "%s\n" % (er)
+
+        label = wx.StaticText(self, -1, etxt)
         sizer.Add(label, 0, wx.ALIGN_LEFT|wx.ALL, 5)
 
         line = wx.StaticLine(self, -1, size=(20,-1), style=wx.LI_HORIZONTAL)
diff --git a/gui/Scyther/Bin/scyther-linux b/gui/Scyther/Bin/scyther-linux
index 0547a42..39cbf63 100755
Binary files a/gui/Scyther/Bin/scyther-linux and b/gui/Scyther/Bin/scyther-linux differ
diff --git a/src/compiler.c b/src/compiler.c
index ef42bb5..8d50d66 100644
--- a/src/compiler.c
+++ b/src/compiler.c
@@ -1976,8 +1976,8 @@ checkLabelMatchThis (const System sys, const Protocol p, const Role readrole,
 		      eprintf ("error: \t");
 		      roledefPrint (readevent);
 		      eprintf ("\n");
-		      globalError--;
 		      error_die ();
+		      globalError--;
 		    }
 		  else
 		    {