diff --git a/README.md b/README.md
index 6b7b1111df1f55a393f085c3ea373984c5991774..a607e63e8400323d319da0d6175680eca29978e8 100644
--- a/README.md
+++ b/README.md
@@ -60,7 +60,7 @@ To see the material, please visit https://mediaspace.epfl.ch , log in with your
 |      |     |            |   |   | Follow:                        | [Stainless Tutorial Videos](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_t2ld6vzn/0_azxgetu9) and [materials](https://epfl-lara.github.io/asplos2022tutorial/)  |
 |      | Fri | 13.09.2024 | 13:15 | [INR219](https://plan.epfl.ch/?room==INR%20219) | [Lecture 3](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_tv48ew7w)                       | [What is a Formal Proof?](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_tv48ew7w) and [Propositional Resolution](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_lovmc46b) |
 | 2    | Thu | 19.09.2024 | 15:15 | GRA330 | Lecture 2 | continue [Propositional Resolution](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_lovmc46b) |
-|      |     |            | 17:15 | GRA330 | Lab 1 |
+|      |     |            | 17:15 | GRA330 | [Lab 1](labs/lab1/README.md) | |
 |      | Fri | 13.09.2024 | 13:15 | INR219 | Exercises 1 |
 
 **Midterm exam:** Thursday, 28 November, 15:00-18:00
diff --git a/labs/lab1/README.md b/labs/lab1/README.md
index 52751f74da651ca41199c2b17387be54184f08ad..54147e9388e8d98c474ed1588fd4db7110aa35d1 100644
--- a/labs/lab1/README.md
+++ b/labs/lab1/README.md
@@ -43,8 +43,9 @@ sbt script version: 1.9.6
 ```
 
 ### Stainless
-Download the latest stainless release (0.9.8.1) from its [repository](https://github.com/epfl-lara/stainless/releases/tag/v0.9.8.1) (download the file named `stainless-dotty-standalone-0.9.8.1-<your_os>.zip`). 
-On Windows, it is recommended to run the linux version on top of the [Windows Subsystem for Linux (WSL)](https://learn.microsoft.com/en-us/windows/wsl/install).
+Download the latest stainless release from its [repository](https://github.com/epfl-lara/stainless/releases/tag/v0.9.8.8). 
+
+On Windows, it is recommended to run the linux version on top of the Windows Subsystem for Linux (WSL 2).
 
 The release is an archive containing, among other things, a script called **stainless**, that you should make available on your path. Detailed instructions can be found in [this video](https://tube.switch.ch/videos/03edee61).