Fixing webdav repo detection bug