diff --git a/documentation/dev/src/explore/resources/ide.md b/documentation/dev/src/explore/resources/ide.md
index b7e2232bb9..8462836379 100644
--- a/documentation/dev/src/explore/resources/ide.md
+++ b/documentation/dev/src/explore/resources/ide.md
@@ -29,7 +29,7 @@ publicus.org-checkbox
 Add these to your settings.json to get rustfmt and clippy with the nightly version that we use:
 
 ```json
-"rust-analyzer.checkOnSave.overrideCommand": [
+"rust-analyzer.check.overrideCommand": [
     "cargo",
     "+{{#include ../../../../../rust-nightly-version}}",
     "clippy",