diff --git a/README.md b/README.md
index e507b5ff2aabab51f276a513206764587fb5cf83..64a999f1e41f268c54e8fdc03bef438982dc23b1 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,8 @@
 # ACTRIS COQ DEVELOPMENT
 
-This directory contains the artifact for the paper "Actris: Session Type
-Based Reasoning in Separation Logic".
+This directory contains the Coq mechanisation of the Actris framework,
+first presented in the paper
+"Actris: Session Type Based Reasoning in Separation Logic".
 
 It has been built and tested with the following dependencies