diff --git a/README.md b/README.md
index 8eea719..de01ddf 100644
--- a/README.md
+++ b/README.md
@@ -7,4 +7,4 @@ A self-contained repository for the paper [A Scope-and-Type Safe Universe of Syn
 
 To check this development, you'll need:
 * Agda 2.5.4.2
-* Agda's Standard Library 0.18
+* Agda's Standard Library 0.17