diff --git a/Jenkinsfile b/Jenkinsfile
index 07bc6031..e0e7a800 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -56,7 +56,7 @@ pipeline {
 
                 withCredentials([sshUserPrivateKey(
                     credentialsId: 'jenkins-agent',
-                    usernameVariable: 'user'
+                    usernameVariable: 'user',
                     keyFileVariable: 'identityFile'
                 )]) {
                     remote.name = 'reprepro'