diff --git a/doc/spawn.txt b/doc/spawn.txt
index ed500f3a5c..c5c96ecf8b 100644
--- a/doc/spawn.txt
+++ b/doc/spawn.txt
@@ -53,13 +53,13 @@ restrictions / changes:
 * ``spawn`` within a ``parallel`` section has special semantics.
 * Every location of the form ``a[i]`` and ``a[i..j]`` and ``dest`` where
   ``dest`` is part of the pattern ``dest = spawn f(...)`` has to be
-  provable disjoint. This is called the *disjoint check*.
+  provably disjoint. This is called the *disjoint check*.
 * Every other complex location ``loc`` that is used in a spawned
   proc (``spawn f(loc)``) has to be immutable for the duration of
   the ``parallel`` section. This is called the *immutability check*. Currently
   it is not specified what exactly "complex location" means. We need to make
   this an optimization!
-* Every array access has to be provable within bounds. This is called 
+* Every array access has to be provably within bounds. This is called 
   the *bounds check*.
 * Slices are optimized so that no copy is performed. This optimization is not
   yet performed for ordinary slices outside of a ``parallel`` section. Slices