diff --git a/Mathematical-correctness-of-dircomp.md b/Mathematical-correctness-of-dircomp.md
index 9fe7af3..c187cc2 100644
--- a/Mathematical-correctness-of-dircomp.md
+++ b/Mathematical-correctness-of-dircomp.md
@@ -1,5 +1,4 @@
 Mathematical correctness of dircomp.
-References dircomp `1.0.3` to `1.0.6`
 
 **Warning** This proof does not invalidate the "AS IS" nature of this program, without any warranty whatsoever.
 ## Definitions