diff --git a/.vscode/settings.json b/.vscode/settings.json
index 2452b048..700cfe50 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -7,9 +7,9 @@
   "files.insertFinalNewline": true,
   "files.trimFinalNewlines": true,
   "files.trimTrailingWhitespace": true,
-  "workbench.iconTheme": "material-icon-theme",
   "material-icon-theme.files.associations": {
-    "README.lean": "readme",
+    "README.lean": "readme"
   },
   "workbench.colorTheme": "Horizon Default",
+  "workbench.iconTheme": "material-icon-theme"
 }