diff --git a/document/core/valid/types.rst b/document/core/valid/types.rst
index 98e54959cf..d5713b62a7 100644
--- a/document/core/valid/types.rst
+++ b/document/core/valid/types.rst
@@ -539,7 +539,7 @@ Memory Types
    \frac{
      C \vdashlimits \limits : 2^{|\addrtype|-16}
    }{
-     C \vdashmemtype \limits \ok
+     C \vdashmemtype \addrtype~\limits \ok
    }