diff --git a/README.md b/README.md
index af36f14..419b4f9 100644
--- a/README.md
+++ b/README.md
@@ -2,4 +2,4 @@
 
 Needed: https://github.com/HoTT/HoTT
 
-In the pdf more can be found on HITs and the work.
+More information on the work is in HITs.pdf.