diff --git a/.vscode/copyright.code-snippets b/.vscode/copyright.code-snippets
index 833997b09e..82c5f9d1a1 100644
--- a/.vscode/copyright.code-snippets
+++ b/.vscode/copyright.code-snippets
@@ -1,6 +1,6 @@
 {
 	"Copyright header for mathlib": {
-		"scope": "lean",
+		"scope": "lean4",
 		"prefix": "copyright",
 		"body": [
 			"/-",
@@ -10,4 +10,4 @@
 			"-/"
 		]
 	}
-}
\ No newline at end of file
+}