diff --git a/core/src/sphinx/installation.rst b/core/src/sphinx/installation.rst
index 6bd97a088..63e5cf670 100644
--- a/core/src/sphinx/installation.rst
+++ b/core/src/sphinx/installation.rst
@@ -316,7 +316,7 @@ Instead, please use ``sbt stainless-scalac-standalone/assembly`` as follows:
   $ sbt stainless-scalac-standalone/assembly
   // takes about 1 minutes
 
-Running Stainless can then be done with the command: ``java -jar frontends\stainless-dotty-standalone\target\scala-3.3.0\stainless-dotty-standalone-{VERSION}.jar``, where ``VERSION`` denotes Stainless version.
+Running Stainless can then be done with the command: ``java -jar frontends\stainless-dotty-standalone\target\scala-3.3.3\stainless-dotty-standalone-{VERSION}.jar``, where ``VERSION`` denotes Stainless version.
 
 Running Tests
 -------------
diff --git a/sbt-plugin/src/sbt-test/sbt-plugin/ghost/test b/sbt-plugin/src/sbt-test/sbt-plugin/ghost/test
index e20dd6fdc..b4277c4e3 100644
--- a/sbt-plugin/src/sbt-test/sbt-plugin/ghost/test
+++ b/sbt-plugin/src/sbt-test/sbt-plugin/ghost/test
@@ -1,6 +1,6 @@
 > + tailrec/run
 > + basic/run
 $ exists basic/target/scala-2.13/classes/test/Main.class
-$ exists basic/target/scala-3.3.0/classes/test/Main.class
+$ exists basic/target/scala-3.3.3/classes/test/Main.class
 $ absent basic/target/sneakyGhostCalled basic/target/insideGhostCalled
-> + actor-tests/compile
\ No newline at end of file
+> + actor-tests/compile