Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision c13d97008d7d443856a4d9ff997c76ad0a33feb3)
+++ Jenkinsfile	(revision a0641748b02f25fc6f7860a202e357f3403fa4a3)
@@ -185,5 +185,5 @@
 						[$class: 'ChoiceParameterDefinition',				\
 						  choices : ['64-bit', '32-bit'],				\
-						  description : 'The architecture to use for compilation'	\
+						  description : 'The architecture to use for compilation',	\
 						  name : 'buildArchitecture'					\
 						]]								\