Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision 6ce9a4f297d4918e7b8b49639bfe4b05657a5dcf)
+++ Jenkins/FullBuild	(revision 55885dde1a2cca997afd42e17f64b70c3903310f)
@@ -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))]
 			}
 		}