diff --git a/README.md b/README.md
index caee319daeae54954aa159e1f2ecb0a20d99aac9..3911b3bc71700a0cd47a221c094cde44eec832b4 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # ACTRIS COQ DEVELOPMENT
 
-This directory contains the Coq mechanization of the Actris framework,
+This repository contains the Coq mechanization of the Actris framework,
 first presented in the paper
 [Actris: Session Type Based Reasoning in Separation Logic](https://iris-project.org/pdfs/2020-popl-actris-final.pdf)
 at POPL'20.