diff --git a/README.md b/README.md
index aa467fa..3307f88 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
 # CPS - Lab Exercises - 2021 UNIPD
 
-- Lab 1 
+- Lab 1 (2021-10-27)
 - Lab 2 (2021-11-19)
diff --git a/lab2/README.md b/lab2/README.md
index ba45eaa..ee5d13a 100644
--- a/lab2/README.md
+++ b/lab2/README.md
@@ -6,6 +6,7 @@
 - Davide Franzosi
 
 > Note: requires `cpp` to make NUSMV work (or just replace it manually)
+
 > Note 2: use `nusmv -pre cpp <file>` to invoke the pre-processor of CPP