diff --git a/README.md b/README.md
index 8e5c5c3ef94e3cdc195446b9b7e4d60428a7a531..9482c6b7aea5b4c404cd4044f739eda64cbb79bb 100644
--- a/README.md
+++ b/README.md
@@ -1,11 +1,8 @@
 # EPFL CS550 - Formal Verification
 
-The links to videos and other material are being updated. In the meantime, please [select this channel](https://mediaspace.epfl.ch/channel/CS-550+Formal+Verification/30542) and then sort the videos alphabetically by name.
-
-
 [Moodle](https://moodle.epfl.ch/course/view.php?id=13051), [Coursebook](https://edu.epfl.ch/coursebook/en/formal-verification-CS-550?cb_cycle=bama_cyclemaster&cb_section=in)
 
-This  repository is the homepage of the course Formal Verification (autumn 2023) and hosts the material necesary for the labs.
+This  repository is the homepage of the course Formal Verification and hosts the material necesary for the labs.
 
 ### Staff:
 
@@ -19,7 +16,7 @@ The grade is based on the written mid-term, as well as code, documentation, and
 
 The types of graded materials will include:
 
-- 40% Late mid-term written exam (November) (see [this folder with past exams](past-exams/))
+- 40% Late mid-term written exam in November (see [this folder with past exams](past-exams/))
 - 20% total: four-five labs, to be done in groups, each group working independently on same projects
 - 40% final project to be done in groups, you will choose a topic with our agreement
     - 10% Written presentation of a background paper 
@@ -47,6 +44,10 @@ Note that slides can be found **underneath each lecture video** on switch tube l
 
 In the reading list below, HandAR-Ch.2 means Chapter 2 in the Handbook of Practical Logic and Automated Reasoning Above, whereas HandMC-Ch.9 means Chapter 9 of the Handbook of Model Checking, etc.
 
+## NOTE
+
+To see the material, please visit https://mediaspace.epfl.ch , log in with your EPFL credentials and 
+[select this channel](https://mediaspace.epfl.ch/channel/CS-550+Formal+Verification/30542). Slides and listings are attached underneath the videos.
 
 ## COURSE OUTLINE