diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 00000000..4cc238df
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,4 @@
+{
+    "name": "certora-prover",
+    "image": "certora/certora-prover:ubuntu"
+}
diff --git a/01.Lesson_GettingStarted/RunScriptExample/verifyIntegrityOfDeposit.sh b/01.Lesson_GettingStarted/RunScriptExample/verifyIntegrityOfDeposit.sh
index 7c4378c2..9845374c 100644
--- a/01.Lesson_GettingStarted/RunScriptExample/verifyIntegrityOfDeposit.sh
+++ b/01.Lesson_GettingStarted/RunScriptExample/verifyIntegrityOfDeposit.sh
@@ -9,4 +9,4 @@ certoraRun BankLesson1/Bank.sol:Bank --verify Bank:BankLesson1/IntegrityOfDeposi
 # more on backslash before new line here: https://superuser.com/questions/794963/in-a-linux-shell-why-does-backslash-newline-not-introduce-whitespace#:~:text=The%20Backslash%2Dnewline%20is%20used,purposes%20of%20executing%20the%20script.
 
 # The $1 is the first argument given to the script, so we can change the msg of a run without changing the actual script
-# more on $1 here: https://bash.cyberciti.biz/guide/$1
\ No newline at end of file
+# more on $1 here: https://bash.cyberciti.biz/guide/$1