diff --git a/doc/make/nix.md b/doc/make/nix.md
index a588d911a5..9d11fa552d 100644
--- a/doc/make/nix.md
+++ b/doc/make/nix.md
@@ -13,8 +13,8 @@ max-jobs = auto  # Allow building multiple derivations in parallel
 keep-outputs = true  # Do not garbage-collect build time-only dependencies (e.g. clang)
 extra-sandbox-paths = /nix/var/cache/ccache  # Extra local cache for C/C++ code
 # Allow fetching build results from the Lean Cachix cache
-extra-trusted-substituters = https://lean4.cachix.org/
-extra-trusted-public-keys = lean4.cachix.org-1:mawtxSxcaiWE24xCXXgh3qnvlTkyU7evRRnGeAhD4Wk=
+trusted-substituters = https://lean4.cachix.org/
+trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= lean4.cachix.org-1:mawtxSxcaiWE24xCXXgh3qnvlTkyU7evRRnGeAhD4Wk=
 ```
 On a multi-user installation of Nix (the default), you need to restart the Nix daemon afterwards:
 ```bash