@@ -3,7 +3,7 @@ Introduction
 
 WebAssembly (abbreviated Wasm [#wasm]_) is a *safe, portable, low-level code format*
 designed for efficient execution and compact representation.
-Its main goal is to enable high performance applications on the Web, but it does not make any Web-specific assumptions or provide Web-specific features, so can be employed in other environments as well.
+Its main goal is to enable high performance applications on the Web, but it does not make any Web-specific assumptions or provide Web-specific features, so it can be employed in other environments as well.
 
 WebAssembly is an open standard developed by a `W3C Community Group <https://www.w3.org/community/webassembly/>`_ that includes representatives of all major browser vendors.
 
 
@@ -71,7 +71,7 @@ This language is structured around the following concepts.
   Such a memory is created with an initial size but can be grown dynamically.
   A program can load and store values from/to a linear memory at any byte address (including unaligned).
   Integer loads and stores can specify a *storage size* which is smaller than the size of the respective value type.
-  A trap occurs if access is not within the bounds of the current memory size.
+  A trap occurs if an access is not within the bounds of the current memory size.
 
 .. _module:
 
 
@@ -96,7 +96,7 @@ Every value has a *sign* and a *magnitude*.
 
 Magnitudes can either be expressed as *normal* numbers of the form :math:`m_0.m_1m_2\dots m_M \cdot2^e`, where :math:`e` is the exponent and :math:`m` is the *significand* whose most signifcant bit :math:`m_0` is :math:`1`,
 or as a *subnormal* number where the exponent is fixed to the smallest possible value and :math:`m_0` is :math:`0`; among the subnormals are positive and negative zero values.
-Since the significands are binary values, normals are represented in the form :math:`(1 + m\cdot 2^{-M})`, where :math:`M` is the bit width of :math:`m`; similarly for subnormals.
+Since the significands are binary values, normals are represented in the form :math:`(1 + m\cdot 2^{-M}) \cdot 2^e`, where :math:`M` is the bit width of :math:`m`; similarly for subnormals.
 
 Possible magnitudes also include the special values :math:`\infty` (infinity) and |NAN| (*NaN*, not a number).
 NaN values have a *payload* that describes the mantissa bits in the underlying :ref:`binary representation <aux-fbits>`.