diff --git a/Project.toml b/Project.toml
index 79cc15b7..5d6f7ae6 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
 name = "Metatheory"
 uuid = "e9d8d322-4543-424a-9be4-0cc815abe26c"
 authors = ["Alessandro Cheli - 0x0f0f0f <sudo-woodo3@protonmail.com>"]
-version = "1.3.4"
+version = "1.3.5"
 
 [deps]
 AutoHashEquals = "15f4f7f2-30c1-5605-9d31-71845cf9641f"
@@ -17,7 +17,7 @@ TimerOutputs = "a759f4b9-e2f1-59dc-863e-4aeb61b1ea8f"
 [compat]
 AutoHashEquals = "0.2.0"
 DataStructures = "0.18.9"
-DocStringExtensions = "0.8"
+DocStringExtensions = "0.8, 0.9"
 Parameters = "0.12"
 Reexport = "0.2, 1"
 TermInterface = "0.2.3"