Patch for webdav module.
Fixes #20