diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index 05ab1ff66717f76bb35873ba64de085bc37c8324..ceb8ac1ef17bf3b7ca861b8b0be8fb5577d33ab7 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -81,7 +81,7 @@ def deploy(dry_run):
         'webdav_login': os.environ['DOCUSER'],
         'webdav_password': os.environ['DOCPASS'],
         }
-    davclient = webdav.Client(options)
+    davclient = webdav.Client(webdav_options)
     assert davclient.valid()
 
     group, name = package.split('/')