diff --git a/Jenkinsfile b/Jenkinsfile
index f7466d0..d5327e5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -141,7 +141,7 @@ pipeline {
 		stage("GetCode") {
 			steps {
 				dir("gitrepo") {
-					// manually checkout the repository, with All branches and tags
+					// manually checkout the repository, with All branches and tags 
 					// => because we might need them for version and changelog computing
                     checkout([ $class: "GitSCM", 
                                branches: [[name: GIT_BRANCH]],