Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision 6ce9a4f297d4918e7b8b49639bfe4b05657a5dcf)
+++ Jenkins/FullBuild	(revision 5d1aa2fb676c787b6fad8e5a88688aa95b328a30)
@@ -32,5 +32,5 @@
 
 			stage('Package') {
-				build job: 'Cforall_Distribute_Ref', parameters: [string(name: 'GitRef', value: commitId), string(name: 'Build', value: Integer.toString((currentBuild.number))]
+				build job: 'Cforall_Distribute_Ref', parameters: [string(name: 'GitRef', value: commitId), string(name: 'Build', value: Integer.toString(currentBuild.number))]
 			}
 		}