diff --git a/labs/amy_specification.md b/labs/amy_specification.md
index 820f05f0c5ed9d95f64e74ad27da3810cb1b6393..2c2c267a86fcd5a96405713ef77b724786e5d15f 100644
--- a/labs/amy_specification.md
+++ b/labs/amy_specification.md
@@ -1,3 +1,3 @@
-===== The Amy Specification =====
+# The Amy Specification 
 
-You can access the Amy specification document [[http://lara.epfl.ch/~gschmid/clp20/amy-spec.pdf|here]].
\ No newline at end of file
+You can access the Amy specification document [here](https://drive.switch.ch/index.php/s/jht9KdKDu9KidB2).