diff --git a/src/version.js.in b/src/version.js.in
index 109e919..d2ea9d8 100644
--- a/src/version.js.in
+++ b/src/version.js.in
@@ -1,3 +1,3 @@
-var GUI_VERSION_NUMBER = "8.0.2"
+var GUI_VERSION_NUMBER = "8.0.3"
 var GUI_VERSION_TAG = "@VERSION_TAG_GUI@";
 var GUI_VERSION = GUI_VERSION_NUMBER + "-" + GUI_VERSION_TAG