diff --git a/hax-lib-macros/types/README.md b/hax-lib-macros/types/README.md
index 400538ddd..6db15247a 100644
--- a/hax-lib-macros/types/README.md
+++ b/hax-lib-macros/types/README.md
@@ -1,3 +1,3 @@
 # hax internal types
 
-A create with hax internal types.
+A crate that defines the types of the various payloads of the attributes produced by the crate `hax-lib-macros` and consumed internally by the engine of hax.