diff --git a/docs/_docs/contributing/setting-up-your-ide.md b/docs/_docs/contributing/setting-up-your-ide.md
index 3779ce1c3403..690b42a37a51 100644
--- a/docs/_docs/contributing/setting-up-your-ide.md
+++ b/docs/_docs/contributing/setting-up-your-ide.md
@@ -42,7 +42,15 @@ want to make sure you do two things:
 +    val enableBspAllProjects = true,
 ```
 
-2. Run `sbt publishLocal` to get the needed presentation compiler jars.
+2. Run in sbt shell `sbt> scala3-bootstrapped/compile` and then `sbt> scala3-bootstrapped/publishLocalBin`
+   to get the required presentation compiler jars.
+
+   If any step fails due to random errors, try removing `./out/` directory and running `sbt> clean`
+
+   This step has to be repeated every time compiler version has been bumped.
+
+
+
 
 By default Metals uses Bloop build server, however you can also use sbt
 directly. You can achieve this with the `Metals: Switch Build Server` command
diff --git a/tests/neg/type-params.check b/tests/neg/type-params.check
index e1eefb4c6fe9..3b052f3556e0 100644
--- a/tests/neg/type-params.check
+++ b/tests/neg/type-params.check
@@ -10,6 +10,10 @@
    |             s does not take type parameters
    |
    | longer explanation available when compiling with `-explain`
+-- Error: tests/neg/type-params.scala:17:35 ----------------------------------------------------------------------------
+17 |  class WellKindedWrongSyntax[s <: List] // error
+   |                                   ^^^^
+   |                                   type List takes type parameters
 -- Error: tests/neg/type-params.scala:21:26 ----------------------------------------------------------------------------
 21 |  object mp extends Monad[Tuple2] // error
    |                          ^^^^^^
diff --git a/tests/neg/type-params.scala b/tests/neg/type-params.scala
index 2803141f3b85..3a5279868405 100644
--- a/tests/neg/type-params.scala
+++ b/tests/neg/type-params.scala
@@ -14,7 +14,7 @@ class `various ancient kindedness`:
     type t = x[x] // error
   trait WellKindedBounded[s <: Throwable]:
     val foo: s[Int] // error
-  class WellKindedWrongSyntax[s <: List] // must be s[x] <: List[x] ?
+  class WellKindedWrongSyntax[s <: List] // error
 
   class Monad[m[x]]