diff --git a/jenkins-setup-build-environment b/jenkins-setup-build-environment
index c1e24395..678772cd 100755
--- a/jenkins-setup-build-environment
+++ b/jenkins-setup-build-environment
@@ -57,7 +57,7 @@ rm -rf "$WORKSPACE"/../*/.testfiles
 
 cd $WORKSPACE
 cat <<EOF > $WORKSPACE/makebuildserver.config.py
-debian_mirror = 'http://deb.debian.org/debian/'"
+debian_mirror = 'http://deb.debian.org/debian/'
 boot_timeout = 1200
 apt_package_cache = True
 copy_caches_from_host = True