diff --git a/document/core/intro/overview.rst b/document/core/intro/overview.rst
index 5a4760baf4..84c375e218 100644
--- a/document/core/intro/overview.rst
+++ b/document/core/intro/overview.rst
@@ -70,7 +70,7 @@ This language is structured around the following concepts.
 **Tables**
   A *table* is an array of opaque values of a particular *element type*.
   It allows programs to select such values indirectly through a dynamic index operand.
-  Currently, the only available element type is an untyped function reference.
+  Currently, the only available element type is an untyped function reference or a reference to an external host value.
   Thereby, a program can call functions indirectly through a dynamic index into a table.
   For example, this allows emulating function pointers by way of table indices.
 
diff --git a/document/core/syntax/modules.rst b/document/core/syntax/modules.rst
index cfd8935aaf..c03c98502c 100644
--- a/document/core/syntax/modules.rst
+++ b/document/core/syntax/modules.rst
@@ -328,7 +328,7 @@ The |MSTART| component of a module declares the :ref:`function index <syntax-fun
 
 .. note::
    The start function is intended for initializing the state of a module.
-   The module and its exports are not accessible before this initialization has completed.
+   The module and its exports are not accessible externally before this initialization has completed.
 
 
 .. index:: ! export, name, index, function index, table index, memory index, global index, function, table, memory, global, instantiation
diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
index 2676905ff9..436800260e 100644
--- a/document/core/valid/instructions.rst
+++ b/document/core/valid/instructions.rst
@@ -620,7 +620,7 @@ Parametric Instructions
 
   * The length of :math:`t^\ast` must be :math:`1`.
 
-  * Then the instruction is valid with type :math:`[t^\ast~t^\ast~\I32] \to [t^\ast]`.
+  * The instruction is valid with type :math:`[t^\ast~t^\ast~\I32] \to [t^\ast]`.
 
 * Else:
 
diff --git a/document/core/valid/types.rst b/document/core/valid/types.rst
index 214014564c..0e78e59762 100644
--- a/document/core/valid/types.rst
+++ b/document/core/valid/types.rst
@@ -240,7 +240,7 @@ Import Subtyping
 
 When :ref:`instantiating <exec-module>` a module,
 :ref:`external values <syntax-externval>` must be provided whose :ref:`types <valid-externval>` are *matched* against the respective :ref:`external types <syntax-externtype>` classifying each import.
-In some cases, this allows for a simple form of subtyping, as defined here.
+In some cases, this allows for a simple form of subtyping (written ":math:`\matchesexterntype`" formally), as defined here.
 
 
 .. index:: limits
@@ -279,7 +279,6 @@ Limits
      \vdashlimitsmatch \{ \LMIN~n_1, \LMAX~m_1 \} \matcheslimits \{ \LMIN~n_2, \LMAX~m_2 \}
    }
 
-
 .. _match-externtype:
 
 .. index:: function type