diff --git a/developer_manual/client_apis/WebDAV/basic.rst b/developer_manual/client_apis/WebDAV/basic.rst
index 8b26c25864d..73916506302 100644
--- a/developer_manual/client_apis/WebDAV/basic.rst
+++ b/developer_manual/client_apis/WebDAV/basic.rst
@@ -395,7 +395,7 @@ The optional files list can be provided as a JSON encoded array through the :cod
 
 .. code::
 
-	GET remote.php/dav/files/user/path/to/folder?accept=zip&files=%5B%22image.png%22%2C%22doucment.txt%22%5D
+	GET remote.php/dav/files/user/path/to/folder?accept=zip&files=["image.png","document.txt"]
 
 Uploading files
 ---------------