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