diff --git a/ci-scripts/Jenkinsfile-gitlab b/ci-scripts/Jenkinsfile-gitlab
index d0446f0ec08d69fbc28b3ca8b9c413e8faddcec2..03f88053b3c149599a3baaa04ae52e38ffd0bcfa 100644
--- a/ci-scripts/Jenkinsfile-gitlab
+++ b/ci-scripts/Jenkinsfile-gitlab
@@ -89,7 +89,7 @@ pipeline {
                 script {
                     if ("MERGE".equals(env.gitlabActionType)) {
                         // since a bit, in push events, gitlabUserEmail is not populated
-                        gitCommitAuthorEmailAddr = ${env.gitlabUserEmail}
+                        gitCommitAuthorEmailAddr = env.gitlabUserEmail
                         echo "GitLab Usermail is ${gitCommitAuthorEmailAddr}"
                         // GitLab-Jenkins plugin integration is lacking to perform the merge by itself
                         // Doing it manually --> it may have merge conflicts