diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 00b3c1c0..f5a09299 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -1,5 +1,5 @@
 {
-	"name": "dodona-tested",
+  "name": "dodona-tested",
   "build": {
     "dockerfile": "dodona-tested.dockerfile",
     "context": "."