diff --git a/final/instructions/README.md b/final/instructions/README.md
index 2d820cb6bde78581e5072098dd9b2a2048d236f1..cd3dba4c46e2971679d11a569d25effd42a7e144 100644
--- a/final/instructions/README.md
+++ b/final/instructions/README.md
@@ -4,6 +4,8 @@ Wednesday, 1 June 2022, 16:15 - 18:45
 
 Rooms: INF1, INF2, CO1. seating plan at https://gitlab.epfl.ch/lamp/cs206/-/tree/master/final
 
+**If <https://gitlab.epfl.ch> is not responding, use <https://ic-gitlab.epfl.ch>.**
+
 *Exam rooms are equipped with computer plugs. Students must bring their own laptops that are capable of developing and locally testing assignments such as labs done during the semester. As a student, it is your responsibility to ensure that you have access to reliable hardware and software for the duration of the exam. Please make sure that you are comfortable using the usual tools from the class, so that you can focus on the exam. If you have trouble assuring access to a laptop and are willing to work with a rented one, please contact us ASAP and we will explore if we can get you one to use during the exam.*
 
 This is an open-book exam. For example, you are allowed to consult the PDF slides for all lectures in this course and the Functional Programming course and do Google search. The final exam will cover all the material seen during the semester.
diff --git a/final/instructions/concpar22final04.md b/final/instructions/concpar22final04.md
index 0fd39f571bb3c10974a7ff893e5b59e3972542ff..e9d1942a02a6b37fa6c06917be83c9d450abcaa3 100644
--- a/final/instructions/concpar22final04.md
+++ b/final/instructions/concpar22final04.md
@@ -27,7 +27,7 @@ In this exercise, you will implement the core functionalities of an online music
 
 - Each user has a unique identifier and a name.
 - Each user can like and unlike songs (stored in the user's _liked songs_ list). Liked songs are sorted by reverse date of liking time (the last liked song must be the first element of the list). Elements of this list must be unique: a song can only be liked once. Liking a song twice should not impact the order.
-- Each user can subscribe and unsubscribe to other users to see what they are listening to. This is stored in the user's _activity feed_. The items in the activity feed are sorted by reverse date of activity time (the last added activity must be the first element of the list). Items in this list should be unique by user id. If a new activity with a user id that is already in the list is added, the former should be removed, so that we always see the latest activity for each user we have subscribed to.
+- Each user can subscribe and unsubscribe to other users to see what they are listening to. This is stored in the user's _activity feed_. The items in the activity feed are sorted by reverse date of activity time (the last added activity must be the first element of the list). Items in this list should be unique by user. If a new activity with a user that is already in the list is added, the former should be removed, so that we always see the latest activity for each user we have subscribed to. You can assume that there is a single actor and `ActorRef` per user.
 
 This corresponds to the core features of Spotify: