diff --git a/docs/wallet-install.sh b/docs/wallet-install.sh
index ecde8c9..b60b4ce 100755
--- a/docs/wallet-install.sh
+++ b/docs/wallet-install.sh
@@ -25,7 +25,7 @@ DATA_DIR="${TZEL_DATA_DIR:-$HOME/.tzel-wallet}"
 # Ushuaianet defaults — override via env to target a different network.
 TZEL_NETWORK="${TZEL_NETWORK:-ushuaianet}"
 TZEL_ROLLUP_RPC_URL="${TZEL_ROLLUP_RPC_URL:-http://rollup.tzel.tezos.com:8932}"
-TZEL_PROVING_SERVICE_URL="${TZEL_PROVING_SERVICE_URL:-http://proving.tzel.tezos.com:9000}"
+TZEL_PROVING_SERVICE_URL="${TZEL_PROVING_SERVICE_URL:-https://proving.tzel.tezos.com}"
 TZEL_NETWORK_NAME="${TZEL_NETWORK_NAME:-tzel-ushuaianet}"
 TZEL_NETWORK_LABEL="${TZEL_NETWORK_LABEL:-Ushuaianet}"
 TZEL_TZKT_BASE_URL="${TZEL_TZKT_BASE_URL:-https://ushuaianet.tzkt.io}"