diff --git a/tools/ci_tools.py b/tools/ci_tools.py
index 3e1e3d8d02..5a28d3fd66 100644
--- a/tools/ci_tools.py
+++ b/tools/ci_tools.py
@@ -32,7 +32,7 @@ def get_release_type_github(Log, github_token):
 
     if any(label in labels for label in minor_labels):
         return "minor"
-    else
+    else:
         return "patch"
 
     #TODO: if all is working fine, this part can be cleaned up eventually